logic for computable functions

language
(LCF) Part of the Edinburgh proof assistant.
[What is it? Address?]
(1995-01-06)